Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
81	How Granularity Issues Concern Biomedical Ontology Integration Stefan SCHULZ a,1, Martin BOEKER a and Holger STENZHORN a,b a Institute of Medical Biometry and Medical Informatics, University Medical Center Freiburg, Germ Add to Reading List Source URL: www2.imbi.uni-freiburg.de Language: English - Date: 2008-05-23 03:57:03 Ontology Information science Knowledge representation Technical communication Information Cognitive science Semantic Web Upper ontology Basic Formal Ontology Formal ontology Web Ontology Language General formal ontology
82	Science of Computer Programming–266 www.elsevier.nl/locate/scico Generation of components for software renovation factories from context-free grammars Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2003-02-26 03:26:46 Software engineering Software Computer programming Compiler construction Parser generators Programming language implementation Language workbench Formal languages Syntax Definition Formalism ASF+SDF Meta Environment Parsing SYNTAX
83	Resum´e Kristoffer Høgsbro Rose, Ph.D. , & (+SeptemberEmployment Add to Reading List Source URL: krisrose.net Language: English - Date: 2015-09-22 13:54:54 Computing Theoretical computer science Programming language theory Logic in computer science Formal languages Lambda calculus Functional languages Markup languages Explicit substitution International Conference on Rewriting Techniques and Applications XSLT Combinatory logic
84	ALGOL 60 - Chapter 6, Formal Specification and Software Development Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2014-08-19 19:14:29 Software engineering Computer programming Programming language theory Procedural programming languages ALGOL 68 ALGOL Scope Subroutine For loop Pascal PL/I MAD
85	A Formal Definition of Algol 60 Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2014-11-05 17:36:16 Software engineering Computer programming Programming language theory Procedural programming languages ALGOL MAD Big O notation Declaration Recursion PL/I Block Limit of a function
86	Properties of CFL’s • Simplification of CFG’s. This makes life easier, since we can claim that if a language is CF, then it has a grammar of a special form. • Pumping Lemma for CFL’s. Similar to the regular ca Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2015-01-28 19:53:52 Formal languages Grammar Constructible universe Formal grammar Logic Cognitive science Useless rules Controlled grammar
87	Microsoft Word - NCIT_Methods.doc Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2005-12-08 15:13:02 Semantic Web Computing Knowledge representation Information science World Wide Web Consortium Ontology Web Ontology Language Formal ontology Resource Description Framework Web resource RDF Schema Description logic
88	School of something FACULTY OF OTHER Utility Ontology Development with Formal Concept Analysis Gaihua Fu and Anthony G Cohn Add to Reading List Source URL: fois08.dfki.de Language: English - Date: 2008-11-14 08:29:59 Ontology Semantic Web Information science Information Knowledge representation Technical communication Computing Formal concept analysis Web Ontology Language Upper ontology Formal ontology
89	The Mother of All Tableaux NOW WORKING ON THE MS — 9:00am 6/30 — NM P Nazarré Merchant Alan Prince Silent, upon a peak in Darien Add to Reading List Source URL: roa.rutgers.edu Language: English - Date: 2016-07-12 15:05:00 Linguistics Humanities Archaeology Formal languages Grammar Language comparison Linguistic typology Typology Equivalence Dependency grammar Formal grammar Language
90	A Formal Model of Service-Oriented Dynamic Object Groups I Einar Broch Johnsena,∗, Olaf Owea , Dave Clarkeb , Joakim Bjørka a b Add to Reading List Source URL: einarj.at.ifi.uio.no Language: English - Date: 2015-01-21 15:14:28 Software engineering Computing Programming language theory Type theory Concurrent programming languages Program analysis Type system Go Sheaf Orbifold CurryHoward correspondence

UPDATE